Update theme again

This time to add a bit of spacing around the app menu.

diff --git a/data/theme/gnome-shell-high-contrast.css b/data/theme/gnome-shell-high-contrast.css
index 9cb794fc0766582fc4c317e2b4c0621126953a41..963df878e8fee10427f8acdf0984f4bd2dc9c1ec 100644 (file)
--- a/data/theme/gnome-shell-high-contrast.css
+++ b/data/theme/gnome-shell-high-contrast.css
@@ -563,7 +563,9 @@ StScrollBar {
     color: #ccc;
     transition-duration: 100ms; }
     #panel .panel-button .app-menu-icon {
-      -st-icon-style: symbolic; }
+      -st-icon-style: symbolic;
+      margin-left: 4px;
+      margin-right: 4px; }
     #panel .panel-button:hover {
       color: white; }
     #panel .panel-button:active, #panel .panel-button:overview, #panel .panel-button:focus, #panel .panel-button:checked {

diff --git a/data/theme/gnome-shell-sass b/data/theme/gnome-shell-sass
index 04c721a71fe879d77cb5a03c5e291ac57fe3ca0c..af76fe6aa2eb3b8636c1817f2a2c5f34b6f40e3e 160000 (submodule)
--- a/data/theme/gnome-shell-sass
+++ b/data/theme/gnome-shell-sass
@@ -1 +1 @@
-Subproject commit 04c721a71fe879d77cb5a03c5e291ac57fe3ca0c
+Subproject commit af76fe6aa2eb3b8636c1817f2a2c5f34b6f40e3e

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index e20cd647c1fcf2f085aeac308e09615817823947..2ae1935f4353279faa3560121360e4d39c8dda74 100644 (file)
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -563,7 +563,9 @@ StScrollBar {
     color: #ccc;
     transition-duration: 100ms; }
     #panel .panel-button .app-menu-icon {
-      -st-icon-style: symbolic; }
+      -st-icon-style: symbolic;
+      margin-left: 4px;
+      margin-right: 4px; }
     #panel .panel-button:hover {
       color: white; }
     #panel .panel-button:active, #panel .panel-button:overview, #panel .panel-button:focus, #panel .panel-button:checked {